Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
101	V Implementation Techniques 34 Efficient Evaluation of the Valid-Time Natural Join 35 Efficient Differential Timeslice Computation 36 R-Tree Based Indexing of Now-Relative Bitemporal Data Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2000-04-03 08:02:00 Information Database Temporal database Bitemporal data SQL Concurrency control Book:Databases Database management systems Data management Data
102	35 Efficient Differential Timeslice Computation Kristian Torp, Leo Mark, and Christian S. Jensen Transaction-time databases support access to not only the current database state, Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2000-04-03 08:01:57 Computer programming Database management systems Extensible Storage Engine Binary tree Relational algebra Pointer Data management Computing B-tree
103	Oblivious Parallel RAM Elette Boyle∗ Technion Israel [removed] Kai-Min Chung Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-08-02 12:06:39 Computer architecture Central processing unit Parallel Random Access Machine NC Computer memory Parallel computing Binary tree Microarchitecture Computer hardware Computing Models of computation
104	Fast Computation of Subpath Kernel for Trees Daisuke Kimura daisuke [removed] Hisashi Kashima [removed] Add to Reading List Source URL: icml.cc Language: English - Date: 2012-06-07 13:19:44 Computer programming Suffix tree Support vector machine Suffix array String kernel Linux kernel Radix tree Kernel Statistics Statistical classification Computing
105	Theory Comput Syst DOI[removed]s00224[removed]Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas · Pablo Barceló · Leonid Libkin Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Mathematics Logic Combinatorics on words Models of computation Nested word Words Muller automaton Model theory Tree Automata theory Formal languages Theoretical computer science
106	Almost all decision trees do not allow significant quantum speed-up Ashley Montanaro∗ arXiv:1209.4781v1 [quant-ph] 21 Sep[removed]September 24, 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-09-23 20:07:50 Models of computation Quantum information science Decision tree model Quantum algorithm PP Randomized algorithm Binary tree Quantum computer Random binary tree Theoretical computer science Applied mathematics Computational complexity theory
107	Attacking some open questions in quantum query complexity Ronald de Wolf and University of Amsterdam Add to Reading List Source URL: www.lu.lv Language: English - Date: 2011-06-10 03:41:52 Computational complexity theory Quantum information science Models of computation Quantum algorithm Decision tree model Algorithm Aanderaa–Karp–Rosenberg conjecture Quantum computer Theoretical computer science Applied mathematics Mathematics
108	May 27, [removed]:33 WSPC/117-IJSEKE S021819401100513X - Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-02-03 09:41:10 Mandatory access control Model checking Role-based access control Computation tree logic PERMIS Security Computer security Access control
109	ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Temporal logic Model checkers Formal methods Model checking Formal verification Linear temporal logic Computation tree logic CTL* Theoretical computer science Mathematical logic Applied mathematics
110	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction

UPDATE